print("gethtmltext(url)")